public class UnixOS extends OS{
    public void play(){
        String OStype="Unix系统播放";
        this.format.decode(OStype);
    }
}